<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<link rel="stylesheet" href="../style/journal.css" type="text/css" />
<style type="text/css"><!--
.googleadsense {
	margin: 2px;
	padding: 0px;
//--></style><script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-65008-1";
urchinTracker();
</script><title>Types and Programming Languages</title>
</head>
<body>
<a href="index.html">Journal</a>(2005) | <a href="../blog/"><b>Blog</b></a>(2006) | <a href="http://www.fayland.org/cgi-bin/random_link.pl">RandomLink</a> | <a href="AboutFayland.html">WhoAmI</a> | <a href="LiveBookmark.html">LiveBookmark</a> | <a href="http://www.fayland.org/">HomePage</a>
<p><&lt;Previous: <a href="Catalyst_Flaw.html">Catalyst 的一个不足（一个已去掉）</a>&nbsp;&nbsp;>>Next: <a href="Catalyst_Session_Win32.html">Catalyst 在 Win32 下的 Session</a></p>
<h1>Types and Programming Languages</h1>
<div class='content'>
<p>Category: <a href='Diary.html'>Diary</a> &nbsp; Keywords: <b>Types and Programming Languages</b></p>When I surf the "Announcement of Newest Books" of the School Library today, I find the "<a href='http://www.cis.upenn.edu/~bcpierce/tapl/'>Types and Programming Languages</a>" （《类型和程序设计语言》）written by Benjamin C. Pierce, translated by 马世龙 & 睦跃飞 etc. and published by "Publishing House of Electronics Industry"（电子工业出版社）。<p />If you are interested in <a href="http://www.pugscode.org">Pugs</a>, u should know that Autrijus Tang suggests this book in "<a href='http://svn.perl.org/perl6/pugs/trunk/docs/01Overview.html'>Pugs Apocryphon 1<br />Overview of the Pugs project</a>. Quoted as follows:<br /><pre>Where can I learn more about implementing programming languages?<p /><a href="http://www.cis.upenn.edu/%7Ebcpierce/tapl/">Types and Programming Languages</a> is an essential read; Pugs started out as a self-initiated study of the text, and it continues to be an important guide during the implementation. Its sequel, <a href="http://www.cis.upenn.edu/%7Ebcpierce/attapl/">Advanced Topics in Types and Programming Languages</a>, is also invaluable. It may also help to get acquainted with other multi-paradigmatic languages, such as <a href="http://www.mozart-oz.org/">Mozart/Oz</a>, <a href="http://www.informatik.uni-kiel.de/%7Emh/curry/">Curry</a> and <a href="http://www.ocaml.org/">O’Caml</a>. Finally, the detailed <a href="http://www.cse.unsw.edu.au/%7Echak/haskell/ghc/comm/">GHC commentary</a> describes how GHC itself was implemented.</pre>But when I start to read it, I must admit that it's too difficult to understand, especially for an advertisement student.<br />I realise that my computer knowledge is so limited. It's just another world, different with what I know but worth learning.<br />Now design a language is in my TODO list. Though it's hard, I'll repick this book one day.<h3>update</h3>u can buy it from <a href="http://www.china-pub.com/computers/common/info.asp?id=24942">http://www.china-pub.com/computers/common/info.asp?id=24942</a></div>
<p><&lt;Previous: <a href="Catalyst_Flaw.html">Catalyst 的一个不足（一个已去掉）</a>&nbsp;&nbsp;>>Next: <a href="Catalyst_Session_Win32.html">Catalyst 在 Win32 下的 Session</a></p>
<p><strong>Options:</strong> <a href='http://del.icio.us/post?title=Types%20and%20Programming%20Languages&url=http://www.fayland.org/journal/050928_tapl.html'>+Del.icio.us</a></p>
<strong>Related items</strong>
<ul><li><a href='AboutFayland.html'>Fayland</a> < <span class='digit'>2004-10-30 18:43:31</span> ></li><li><a href='Template_random_quotes.html'>Template Toolkit && random</a> < <span class='digit'>2005-11-07 16:16:46</span> ></li><li><a href='Perl6_ES14.html'>has $.Examples14 handles 'Perl6';</a> < <span class='digit'>2005-06-02 01:38:59</span> ></li><li><a href='RandomLink.html'>随机链接</a> < <span class='digit'>2005-06-04 01:00:57</span> ></li><li><a href='Han-PinYin.html'>重新写就的 Lingua::Han::PinYin</a> < <span class='digit'>2005-11-09 10:24:43</span> ></li><li><a href='modperl_http_cycle.html'>modperl 服务器的运行阶段和句柄</a> < <span class='digit'>2005-11-22 15:33:08</span> ></li><li><a href='modperl_PerlTransHandler.html'>modperl 的 PerlTransHandler 应用</a> < <span class='digit'>2005-11-23 22:24:02</span> ></li><li><a href='modperl_PerlAuthenHandler.html'>modperl 的用户验证</a> < <span class='digit'>2005-11-26 00:08:37</span> ></li></ul>
Created on <span class="digit">2005-09-28 16:37:09</span>, Last modified on <span class="digit">2005-09-28 17:02:47</span><br />
Copyright 2004-2005 All Rights Reserved. Powered by <a href="Eplanet.html">Eplanet</a> && <a href='http://catalyst.perl.org'>Catalyst</a> 5.62.
</body>
</html>